4. The years or parts of a year of service redeemed shall be counted proportionately to the amounts paid in capital for their payment out of the total capital amount. Those years or parts of a year are deemed to be counted for the period of the marriage to the extent that they were paid during that period.